#include <cstdio>
int main()
{
	int a = 0;
	int b = 0;
	scanf("%d%d", &a, &b);
	printf("%.3f", 1.0 * a / b);
	return 0;
}
